conditions on the remainder